A Framework for Systematic Synthesis of Transactional Middleware
نویسندگان
چکیده
Transactions are contracts that guarantee a consistent, transparent, individual system state transition and their use is widespread in many different kinds of computing systems. Some well known standards (e.g. CORBA) include the specification of services that provide transactional properties. In this paper, we present a formal method for the systematic synthesis of transactional middleware based on the combination of the aforementioned services. The synthesis of transactional middleware is based on (0 the formal specification of transactional properties and (ii) stub code generation.
منابع مشابه
A conceptual framework of contextual factors affecting knowledge transfer using meta-synthesis method
Since knowledge is currently considering as one of the most critical resources in organizations, knowledge management has an essential role in organizational success. Recently knowledge transfer has become a fast, growing, innovative, and essential research theme in the management domain. This paper proposes a comprehensive framework to have effective knowledge transfer in projects, especially ...
متن کاملEvaluating Object Transactional Monitors with OrbixOTM
As more and more object-oriented transactional processing monitors are being developed, users in industries such as banking and telecommunications need systematic and critical evaluations of the strengths and weaknesses of these products. This paper presents the Middleware Evaluation Project (MEP) which aims to provide an impartial evaluation based on rigorously derived tests and benchmarks. Th...
متن کاملAutomatically Generating Symbolic Prefetches for Distributed Transactional Memories
Developing efficient distributed applications while managing complexity can be challenging. Managing network latency is a key challenge for distributed applications. We propose a new approach to prefetching, symbolic prefetching, that can prefetch remote objects before their addresses are known. Our approach was designed to hide the latency of accessing remote objects in distributed transaction...
متن کاملFlexible Persistence Framework for Object-Oriented Middleware
The ability to store object states persistently in a convenient and flexible way is an important requirement for middleware environments. In this paper we propose a language independent framework for flexible and extensible persistent storage services for object-oriented middleware. The framework is specified by interface definitions and the rationale of their interplay. To support application-...
متن کاملTransactional Attitudes: Reliable Composition of Autonomous We
The Web services platform offers a distributed computing environment where autonomous applications interact using standard Internet technology. In this environment, diverse applications and systems become the components of intraand inter-enterprise integration. Yet, transactional reliability, an often critical requirement on such integration, is presently missing from the Web services platform....
متن کامل